On the Role of Canonicity in Knowledge Compilation
نویسندگان
چکیده
Knowledge compilation is a powerful reasoning paradigm with many applications across AI and computer science more broadly. We consider the problem of bottom-up compilation of knowledge bases, which is usually predicated on the existence of a polytime function for combining compilations using Boolean operators (usually called an Apply function). While such a polytime Apply function is known to exist for certain languages (e.g., OBDDs) and not exist for others (e.g., DNNFs), its existence for certain languages remains unknown. Among the latter is the recently introduced language of Sentential Decision Diagrams (SDDs): while a polytime Apply function exists for SDDs, it was unknown whether such a function exists for the important subset of compressed SDDs which are canonical. We resolve this open question in this paper and consider some of its theoretical and practical implications. Some of the findings we report question the common wisdom on the relationship between bottom-up compilation, language canonicity and the complexity of the Apply function.
منابع مشابه
On the Role of Canonicity in Bottom-up Knowledge Compilation
We consider the problem of bottom-up compilation of knowledge bases, which is usually predicated on the existence of a polytime function for combining compilations using Boolean operators (usually called an Apply function). While such a polytime Apply function is known to exist for certain languages (e.g., OBDDs) and not exist for others (e.g., DNNF), its existence for certain languages remains...
متن کاملCanonicity Effect on Sentence Processing of Persian-speaking Broca’s Patients
Introduction: Fundamental notions of mapping hypothesis and canonicity were scrutinized in Persian-speaking aphasics. Methods: To this end, the performance of four age-, education-, and gender matched Persian-speaking Broca's patients and eight matched healthy controls in diverse complex structures were compared via the conduction of two tasks of syntactic comprehension and grammaticality jud...
متن کاملCompilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students: with the role of mediation of emotional self-awareness
Abstract Background and Aims: According to the important role of the psychological variables on students various dimensions of health and academic performance, The purpose of the present study was to Compilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students with the role of mediation of emotional self-awareness. Methods: Correla...
متن کاملThe Open University ’ s repository of research publications and other research outputs A different perspective on canonicity
One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a g...
متن کاملCompilation a Model for Reporting Effectiveness for Stakeholders (Case Study in the Superum Audit Court)
Developing a Reporting Effectiveness Model for Stakeholders (Case Study in the Superum Audit Court) Abstract: The Court of Auditors' reports are an independent and rational assessment of the environment in the public sector and strive to enhance the value of government agencies through legislation and guidance to improve performance. The purpose of the present study is to conceptualize and ext...
متن کامل